<HTML>
<HEAD>
<!-- This HTML file has been created by texi2html 1.29
     from type.tnf on 19 December 2010 -->

<TITLE>Type Analysis - Index</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000" BACKGROUND="gifs/bg.gif">
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0" VALIGN=BOTTOM>
<TR VALIGN=BOTTOM>
<TD WIDTH="160" VALIGN=BOTTOM>
<A HREF="http://eli-project.sourceforge.net/">
<IMG SRC="gifs/elilogo.gif" BORDER=0>
</A>&nbsp;
</TD>
<TD WIDTH="25" VALIGN=BOTTOM>
<img src="gifs/empty.gif" WIDTH=25 HEIGHT=25>
</TD>
<TD ALIGN=LEFT WIDTH="475" VALIGN=BOTTOM>
<A HREF="index.html"><IMG SRC="gifs/title.png" BORDER=0></A>
</TD>
<!-- |DELETE FOR SOURCEFORGE LOGO|
<TD>
<a href="http://sourceforge.net/projects/eli-project">
<img
  src="http://sflogo.sourceforge.net/sflogo.php?group_id=70447&amp;type=13"
  width="120" height="30"
  alt="Get Eli: Translator Construction Made Easy at SourceForge.net.
    Fast, secure and Free Open Source software downloads"/>
</a>
</TD>
|DELETE FOR SOURCEFORGE LOGO| -->
</TR>
</TABLE>

<HR size=1 noshade width=785 align=left>
<TABLE BORDER=0 CELLSPACING=2 CELLPADDING=0>
<TR>
<TD VALIGN=TOP WIDTH="160">
<h4>General Information</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="index.html">Eli: Translator Construction Made Easy</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="gindex_1.html#SEC1">Global Index</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="faq_toc.html" >Frequently Asked Questions</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Tutorials</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="EliRefCard_toc.html">Quick Reference Card</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="novice_toc.html">Guide For new Eli Users</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="news_toc.html">Release Notes of Eli</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="nametutorial_toc.html">Tutorial on Name Analysis</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="typetutorial_toc.html">Tutorial on Type Analysis</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Reference Manuals</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ui_toc.html">User Interface</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="pp_toc.html">Eli products and parameters</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lidoref_toc.html">LIDO Reference Manual</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Libraries</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lib_toc.html">Eli library routines</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="modlib_toc.html">Specification Module Library</a></td></tr>
</table>

<h4>Translation Tasks</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lex_toc.html">Lexical analysis specification</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="syntax_toc.html">Syntactic Analysis Manual</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="comptrees_toc.html">Computation in Trees</a></td></tr>
</table>

<h4>Tools</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lcl_toc.html">LIGA Control Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="show_toc.html">Debugging Information for LIDO</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="gorto_toc.html">Graphical ORder TOol</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="fw_toc.html">FunnelWeb User's Manual</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ptg_toc.html">Pattern-based Text Generator</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="deftbl_toc.html">Property Definition Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="oil_toc.html">Operator Identification Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="tp_toc.html">Tree Grammar Specification Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="clp_toc.html">Command Line Processing</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="cola_toc.html">COLA Options Reference Manual</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="idem_toc.html">Generating Unparsing Code</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="mon_toc.html">Monitoring a Processor's Execution</a> </td></tr>
</table>

<h4>Administration</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="sysadmin_toc.html">System Administration Guide</a> </td></tr>
</table>

<HR WIDTH="100%">
<A HREF="mailto:eli-project-users@lists.sourceforge.net">
<IMG SRC="gifs/button_mail.gif" BORDER=0 ALIGN="left"></A>
<A HREF="index.html"><IMG SRC="gifs/home.gif" BORDER=0 ALIGN="right"></A>

</TD>
<TD VALIGN=TOP WIDTH="25"><img src="gifs/empty.gif" WIDTH=25 HEIGHT=25></TD>

<TD VALIGN=TOP WIDTH="600">
<H1>Type Analysis</H1>
<P>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT=""><A HREF="type_8.html"><IMG SRC="gifs/prev.gif" ALT="Previous Chapter" BORDER="0"></A>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT=""><A HREF="type_toc.html"><IMG SRC="gifs/up.gif" ALT="Table of Contents" BORDER="0"></A>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT="">
<HR size=1 noshade width=600 align=left>
<H1><A NAME="SEC39" HREF="type_toc.html#SEC39">Index</A></H1>
<P>
<H2><A NAME="SEC40" HREF="type_toc.html#SEC40">Symbol roles</A></H2>
<P>
<DL>
<DT><H2>A</H2></DT>
<DT> <CODE>ArgErr</CODE></DT>
<DD> <A HREF="type_7.html#IDX194">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>ArgError</CODE></DT>
<DD> <A HREF="type_7.html#IDX195">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>ArgMsg</CODE></DT>
<DD> <A HREF="type_7.html#IDX193">Verifying type consistency within an expression</A> </DD>
<DT><H2>B</H2></DT>
<DT> BalanceListElem</DT>
<DD> <A HREF="type_4.html#IDX29">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX54">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_4.html#IDX72">Operators with operand lists</A> </DD>
<DT> BalanceListRoot</DT>
<DD> <A HREF="type_4.html#IDX71">Operators with operand lists</A> </DD>
<DD> <A HREF="type_4.html#IDX27">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX53">Expression contexts without operators</A> </DD>
<DT><H2>C</H2></DT>
<DT> ChkTypeDefDefId</DT>
<DD> <A HREF="type_7.html#IDX178">Verifying type identifier usage</A> </DD>
<DT> ChkTypeDefUseId</DT>
<DD> <A HREF="type_7.html#IDX179">Verifying type identifier usage</A> </DD>
<DT> ChkTypedUseId</DT>
<DD> <A HREF="type_7.html#IDX177">Verifying typed identifier usage</A> </DD>
<DD> <A HREF="type_7.html#IDX176">Verifying typed identifier usage</A> </DD>
<DD> <A HREF="type_8.html#IDX219">Dependences among types and type identifiers</A> </DD>
<DT><H2>E</H2></DT>
<DT> <CODE>ExpErr</CODE></DT>
<DD> <A HREF="type_7.html#IDX182">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>ExpError</CODE></DT>
<DD> <A HREF="type_7.html#IDX183">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>ExpMsg</CODE></DT>
<DD> <A HREF="type_7.html#IDX181">Verifying type consistency within an expression</A> </DD>
<DT> ExpressionSymbol</DT>
<DD> <A HREF="type_4.html#IDX43">Type analysis of expression trees</A> </DD>
<DD> <A HREF="type_7.html#IDX180">Verifying type consistency within an expression</A> </DD>
<DD> <A HREF="type_4.html#IDX63">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_6.html#IDX171">Functions as typed entities</A> </DD>
<DD> <A HREF="type_7.html#IDX198">Support for context checking</A> </DD>
<DD> <A HREF="type_4.html#IDX40">Type analysis of expression trees</A> </DD>
<DD> <A HREF="type_7.html#IDX204">Support for context checking</A> </DD>
<DD> <A HREF="type_4.html#IDX49">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_4.html#IDX24">Expressions</A> </DD>
<DT><H2>L</H2></DT>
<DT> <CODE>LstErr</CODE></DT>
<DD> <A HREF="type_7.html#IDX190">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>LstError</CODE></DT>
<DD> <A HREF="type_7.html#IDX191">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>LstMsg</CODE></DT>
<DD> <A HREF="type_7.html#IDX189">Verifying type consistency within an expression</A> </DD>
<DT><H2>O</H2></DT>
<DT> OperatorDefs</DT>
<DD> <A HREF="type_5.html#IDX148">Reducing specification size</A> </DD>
<DD> <A HREF="type_6.html#IDX164">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX156">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX100">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX124">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX115">Operator, function, and method definitions</A> </DD>
<DT> OperatorSymbol</DT>
<DD> <A HREF="type_5.html#IDX130">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_4.html#IDX61">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_4.html#IDX56">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_4.html#IDX25">Expressions</A> </DD>
<DD> <A HREF="type_5.html#IDX134">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_7.html#IDX184">Verifying type consistency within an expression</A> </DD>
<DT> OpndExprListElem</DT>
<DD> <A HREF="type_4.html#IDX28">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX76">Type conversion</A> </DD>
<DD> <A HREF="type_4.html#IDX68">Operators with operand lists</A> </DD>
<DD> <A HREF="type_7.html#IDX192">Verifying type consistency within an expression</A> </DD>
<DT> OpndExprListRoot</DT>
<DD> <A HREF="type_4.html#IDX26">Expressions</A> </DD>
<DD> <A HREF="type_7.html#IDX199">Support for context checking</A> </DD>
<DD> <A HREF="type_6.html#IDX172">Functions as typed entities</A> </DD>
<DD> <A HREF="type_7.html#IDX188">Verifying type consistency within an expression</A> </DD>
<DD> <A HREF="type_5.html#IDX131">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_4.html#IDX67">Operators with operand lists</A> </DD>
<DT> OpndTypeListElem</DT>
<DD> <A HREF="type_5.html#IDX102">Operator, function, and method definitions</A> </DD>
<DT> OpndTypeListRoot</DT>
<DD> <A HREF="type_5.html#IDX125">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX101">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX118">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_6.html#IDX154">Functions as typed entities</A> </DD>
<DT> <CODE>OprErr</CODE></DT>
<DD> <A HREF="type_7.html#IDX186">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>OprError</CODE></DT>
<DD> <A HREF="type_7.html#IDX187">Verifying type consistency within an expression</A> </DD>
<DT> <CODE>OprMsg</CODE></DT>
<DD> <A HREF="type_7.html#IDX185">Verifying type consistency within an expression</A> </DD>
<DT><H2>T</H2></DT>
<DT> TypedDefId</DT>
<DD> <A HREF="type_3.html#IDX14">Typed Entities</A> </DD>
<DD> <A HREF="type_3.html#IDX17">Establishing the type of an entity</A> </DD>
<DT> TypedDefinition</DT>
<DD> <A HREF="type_3.html#IDX16">Establishing the type of an entity</A> </DD>
<DD> <A HREF="type_3.html#IDX19">Passing ancillary information</A> </DD>
<DD> <A HREF="type_3.html#IDX13">Typed Entities</A> </DD>
<DT> TypeDefDefId</DT>
<DD> <A HREF="type_5.html#IDX87">User-Defined Types</A> </DD>
<DT> TypeDefUseId</DT>
<DD> <A HREF="type_5.html#IDX98">Referring to a type</A> </DD>
<DD> <A HREF="type_5.html#IDX88">User-Defined Types</A> </DD>
<DT> TypeDenotation</DT>
<DD> <A HREF="type_5.html#IDX92">Type denotations</A> </DD>
<DD> <A HREF="type_5.html#IDX86">User-Defined Types</A> </DD>
<DD> <A HREF="type_5.html#IDX133">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_6.html#IDX155">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX163">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX147">Reducing specification size</A> </DD>
<DD> <A HREF="type_5.html#IDX114">Operator, function, and method definitions</A> </DD>
<DT> TypedIdDef</DT>
<DD> <A HREF="type_3.html#IDX20">Passing ancillary information</A> </DD>
<DT> TypedUseId</DT>
<DD> <A HREF="type_8.html#IDX218">Dependences among types and type identifiers</A> </DD>
<DD> <A HREF="type_3.html#IDX21">Passing ancillary information</A> </DD>
<DD> <A HREF="type_3.html#IDX18">Accessing the type of an entity</A> </DD>
<DD> <A HREF="type_4.html#IDX50">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_3.html#IDX15">Typed Entities</A> </DD>
</DL>
<P>
<H2><A NAME="SEC41" HREF="type_toc.html#SEC41">Rule computations</A></H2>
<P>
<DL>
<DT><H2>A</H2></DT>
<DT> AddTypeToBlock</DT>
<DD> <A HREF="type_6.html#IDX161">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX169">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX153">Paritioning the set of types</A> </DD>
<DT><H2>B</H2></DT>
<DT> BadIndication</DT>
<DD> <A HREF="type_7.html#IDX196">Support for context checking</A> </DD>
<DD> <A HREF="type_7.html#IDX202">Support for context checking</A> </DD>
<DT> BadOperator</DT>
<DD> <A HREF="type_7.html#IDX197">Support for context checking</A> </DD>
<DD> <A HREF="type_7.html#IDX207">Support for context checking</A> </DD>
<DT> BalanceContext</DT>
<DD> <A HREF="type_4.html#IDX52">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_4.html#IDX32">Expressions</A> </DD>
<DT><H2>C</H2></DT>
<DT> CastContext</DT>
<DD> <A HREF="type_4.html#IDX80">Type conversion</A> </DD>
<DD> <A HREF="type_4.html#IDX37">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX79">Type conversion</A> </DD>
<DT> Coercible</DT>
<DD> <A HREF="type_5.html#IDX113">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX106">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX135">Operator, function, and method definitions</A> </DD>
<DT> ConversionContext</DT>
<DD> <A HREF="type_4.html#IDX77">Type conversion</A> </DD>
<DD> <A HREF="type_4.html#IDX36">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX75">Type conversion</A> </DD>
<DT><H2>D</H2></DT>
<DT> DyadicContext</DT>
<DD> <A HREF="type_4.html#IDX34">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX62">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_4.html#IDX60">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_4.html#IDX64">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_7.html#IDX205">Support for context checking</A> </DD>
<DT> DyadicOperator</DT>
<DD> <A HREF="type_5.html#IDX116">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX111">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX104">Operator, function, and method definitions</A> </DD>
<DT><H2>F</H2></DT>
<DT> FinalType</DT>
<DD> <A HREF="type_8.html#IDX222">Dependence on structural equivalence</A> </DD>
<DT><H2>I</H2></DT>
<DT> Indication</DT>
<DD> <A HREF="type_4.html#IDX78">Type conversion</A> </DD>
<DD> <A HREF="type_6.html#IDX174">Functions as typed entities</A> </DD>
<DD> <A HREF="type_4.html#IDX38">Expressions</A> </DD>
<DD> <A HREF="type_7.html#IDX206">Support for context checking</A> </DD>
<DD> <A HREF="type_7.html#IDX201">Support for context checking</A> </DD>
<DT> InstClass</DT>
<DD> <A HREF="type_5.html#IDX146">Reducing specification size</A> </DD>
<DT> InstClass1</DT>
<DD> <A HREF="type_5.html#IDX150">Reducing specification size</A> </DD>
<DT> IsCoercible</DT>
<DD> <A HREF="type_7.html#IDX208">Support for context checking</A> </DD>
<DT><H2>L</H2></DT>
<DT> ListContext</DT>
<DD> <A HREF="type_5.html#IDX132">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_4.html#IDX35">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX66">Operators with operand lists</A> </DD>
<DD> <A HREF="type_4.html#IDX69">Operators with operand lists</A> </DD>
<DD> <A HREF="type_6.html#IDX173">Functions as typed entities</A> </DD>
<DD> <A HREF="type_7.html#IDX200">Support for context checking</A> </DD>
<DT> ListOperator</DT>
<DD> <A HREF="type_5.html#IDX112">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX119">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_6.html#IDX162">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX105">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX126">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_6.html#IDX170">Functions as typed entities</A> </DD>
<DT><H2>M</H2></DT>
<DT> MonadicContext</DT>
<DD> <A HREF="type_4.html#IDX59">Operators with explicit operands</A> </DD>
<DD> <A HREF="type_4.html#IDX73">Operators with operand lists</A> </DD>
<DD> <A HREF="type_4.html#IDX33">Expressions</A> </DD>
<DT> MonadicOperator</DT>
<DD> <A HREF="type_5.html#IDX103">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX110">Operator, function, and method definitions</A> </DD>
<DT><H2>O</H2></DT>
<DT> OperName</DT>
<DD> <A HREF="type_4.html#IDX39">Expressions</A> </DD>
<DT><H2>P</H2></DT>
<DT> PrimaryContext</DT>
<DD> <A HREF="type_4.html#IDX81">Type conversion</A> </DD>
<DD> <A HREF="type_4.html#IDX30">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX48">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_8.html#IDX220">Dependences among types and type identifiers</A> </DD>
<DT><H2>T</H2></DT>
<DT> TransferContext</DT>
<DD> <A HREF="type_4.html#IDX74">Operators with operand lists</A> </DD>
<DD> <A HREF="type_4.html#IDX70">Operators with operand lists</A> </DD>
<DD> <A HREF="type_4.html#IDX51">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_4.html#IDX55">Expression contexts without operators</A> </DD>
<DD> <A HREF="type_4.html#IDX31">Expressions</A> </DD>
</DL>
<P>
<H2><A NAME="SEC42" HREF="type_toc.html#SEC42">Attributes</A></H2>
<P>
<DL>
<DT><H2>G</H2></DT>
<DT> GotOper</DT>
<DD> <A HREF="type_5.html#IDX149">Reducing specification size</A> </DD>
<DD> <A HREF="type_5.html#IDX107">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX136">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_6.html#IDX158">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX166">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX127">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX121">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX117">Operator, function, and method definitions</A> </DD>
<DT> GotType</DT>
<DD> <A HREF="type_6.html#IDX157">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX165">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX91">Type denotations</A> </DD>
<DD> <A HREF="type_5.html#IDX120">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX93">Type denotations</A> </DD>
<DT><H2>I</H2></DT>
<DT> Indic</DT>
<DD> <A HREF="type_4.html#IDX57">Operators with explicit operands</A> </DD>
<DT> IsType</DT>
<DD> <A HREF="type_2.html#IDX1">Language-defined types</A> </DD>
<DT><H2>O</H2></DT>
<DT> Oper</DT>
<DD> <A HREF="type_4.html#IDX58">Operators with explicit operands</A> </DD>
<DT> OperatorDefs.GotOper</DT>
<DD> <A HREF="type_8.html#IDX216">Dependence in Type Analysis</A> </DD>
<DT> OperName</DT>
<DD> <A HREF="type_4.html#IDX65">Operators with explicit operands</A> </DD>
<DT> OpndTypeList</DT>
<DD> <A HREF="type_5.html#IDX123">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX128">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX108">Operator, function, and method definitions</A> </DD>
<DT><H2>P</H2></DT>
<DT> ParameterTypeList</DT>
<DD> <A HREF="type_6.html#IDX160">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX168">Functions as typed entities</A> </DD>
<DT><H2>R</H2></DT>
<DT> Required</DT>
<DD> <A HREF="type_4.html#IDX41">Type analysis of expression trees</A> </DD>
<DT> RootType.AllTypesAreSet</DT>
<DD> <A HREF="type_8.html#IDX214">Dependence in Type Analysis</A> </DD>
<DT> RootType.GotAllOpers</DT>
<DD> <A HREF="type_8.html#IDX217">Dependence in Type Analysis</A> </DD>
<DT> RootType.GotAllTypes</DT>
<DD> <A HREF="type_8.html#IDX212">Dependence in Type Analysis</A> </DD>
<DT> RootType.GotUserTypes</DT>
<DD> <A HREF="type_8.html#IDX211">Dependence in Type Analysis</A> </DD>
<DT><H2>T</H2></DT>
<DT> Type</DT>
<DD> <A HREF="type_6.html#IDX159">Functions as typed entities</A> </DD>
<DD> <A HREF="type_6.html#IDX167">Functions as typed entities</A> </DD>
<DD> <A HREF="type_5.html#IDX122">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX109">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX99">Referring to a type</A> </DD>
<DD> <A HREF="type_4.html#IDX42">Type analysis of expression trees</A> </DD>
<DD> <A HREF="type_7.html#IDX203">Support for context checking</A> </DD>
<DD> <A HREF="type_5.html#IDX94">Type identifiers</A> </DD>
<DD> <A HREF="type_5.html#IDX129">Operator, function, and method definitions</A> </DD>
<DD> <A HREF="type_5.html#IDX96">Type identifiers</A> </DD>
<DD> <A HREF="type_6.html#IDX175">Functions as typed entities</A> </DD>
<DD> <A HREF="type_8.html#IDX221">Dependences among types and type identifiers</A> </DD>
<DD> <A HREF="type_5.html#IDX89">Type denotations</A> </DD>
<DT> TypedDefId.TypeIsSet</DT>
<DD> <A HREF="type_8.html#IDX213">Dependence in Type Analysis</A> </DD>
<DT> TypeDefDefId.GotDefer</DT>
<DD> <A HREF="type_8.html#IDX210">Dependence in Type Analysis</A> </DD>
<DT> TypeDenotation.GotType</DT>
<DD> <A HREF="type_8.html#IDX209">Dependence in Type Analysis</A> </DD>
<DT> TypedUseId.TypeIsSet</DT>
<DD> <A HREF="type_8.html#IDX215">Dependence in Type Analysis</A> </DD>
<DT> TypeIsSet</DT>
<DD> <A HREF="type_8.html#IDX223">Dependences for typed entities</A> </DD>
<DT> TypeKey</DT>
<DD> <A HREF="type_5.html#IDX95">Type identifiers</A> </DD>
<DD> <A HREF="type_5.html#IDX90">Type denotations</A> </DD>
<DD> <A HREF="type_5.html#IDX97">Type identifiers</A> </DD>
</DL>
<P>
<H2><A NAME="SEC43" HREF="type_toc.html#SEC43">General concepts</A></H2>
<P>
<DL>
<DT><H2>C</H2></DT>
<DT> <CODE>CLASS</CODE>, OIL</DT>
<DD> <A HREF="type_5.html#IDX138">Reducing specification size</A> </DD>
<DT> <CODE>COERCION</CODE>, OIL</DT>
<DD> <A HREF="type_2.html#IDX9">Language-defined coercibility</A> </DD>
<DD> <A HREF="type_5.html#IDX143">Reducing specification size</A> </DD>
<DT><H2>E</H2></DT>
<DT> <CODE>Expression</CODE> module</DT>
<DD> <A HREF="type_4.html#IDX46">Selecting an operator at an expression node</A> </DD>
<DD> <A HREF="type_4.html#IDX22">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX44">Selecting an operator at an expression node</A> </DD>
<DT><H2>I</H2></DT>
<DT> <CODE>INDICATION</CODE>, OIL</DT>
<DD> <A HREF="type_5.html#IDX144">Reducing specification size</A> </DD>
<DD> <A HREF="type_2.html#IDX7">Language-defined indications</A> </DD>
<DT><H2>N</H2></DT>
<DT> Name equivalence</DT>
<DD> <A HREF="type_5.html#IDX82">User-Defined Types</A> </DD>
<DT> <CODE>NoKey</CODE></DT>
<DD> <A HREF="type_2.html#IDX3">Language-defined types</A> </DD>
<DT><H2>O</H2></DT>
<DT> OIL <CODE>CLASS</CODE>, definition</DT>
<DD> <A HREF="type_5.html#IDX137">Reducing specification size</A> </DD>
<DT> OIL <CODE>CLASS</CODE>, instantiation</DT>
<DD> <A HREF="type_5.html#IDX145">Reducing specification size</A> </DD>
<DT> OIL <CODE>COERCION</CODE></DT>
<DD> <A HREF="type_2.html#IDX8">Language-defined coercibility</A> </DD>
<DD> <A HREF="type_5.html#IDX142">Reducing specification size</A> </DD>
<DT> OIL <CODE>INDICATION</CODE></DT>
<DD> <A HREF="type_5.html#IDX141">Reducing specification size</A> </DD>
<DD> <A HREF="type_2.html#IDX6">Language-defined indications</A> </DD>
<DT> OIL <CODE>OPER</CODE></DT>
<DD> <A HREF="type_5.html#IDX140">Reducing specification size</A> </DD>
<DD> <A HREF="type_2.html#IDX4">Language-defined operators</A> </DD>
<DT> <CODE>OPER</CODE>, OIL</DT>
<DD> <A HREF="type_2.html#IDX5">Language-defined operators</A> </DD>
<DD> <A HREF="type_5.html#IDX139">Reducing specification size</A> </DD>
<DT><H2>P</H2></DT>
<DT> property <CODE>IsType</CODE></DT>
<DD> <A HREF="type_2.html#IDX2">Language-defined types</A> </DD>
<DT><H2>S</H2></DT>
<DT> Specification modules -- <CODE>Expression</CODE></DT>
<DD> <A HREF="type_4.html#IDX23">Expressions</A> </DD>
<DD> <A HREF="type_4.html#IDX45">Selecting an operator at an expression node</A> </DD>
<DD> <A HREF="type_4.html#IDX47">Selecting an operator at an expression node</A> </DD>
<DT> Specification modules -- <CODE>StructEquiv</CODE></DT>
<DD> <A HREF="type_6.html#IDX152">Structural Type Equivalence</A> </DD>
<DT> Specification modules -- <CODE>Typing</CODE></DT>
<DD> <A HREF="type_3.html#IDX12">Typed Entities</A> </DD>
<DT> <CODE>StructEquiv</CODE> module</DT>
<DD> <A HREF="type_6.html#IDX151">Structural Type Equivalence</A> </DD>
<DT> Structural equivalence</DT>
<DD> <A HREF="type_5.html#IDX84">User-Defined Types</A> </DD>
<DT><H2>T</H2></DT>
<DT> Type equivalence, name</DT>
<DD> <A HREF="type_5.html#IDX83">User-Defined Types</A> </DD>
<DT> Type equivalence, structural</DT>
<DD> <A HREF="type_5.html#IDX85">User-Defined Types</A> </DD>
<DT> Typed Entities</DT>
<DD> <A HREF="type_3.html#IDX10">Typed Entities</A> </DD>
<DT> <CODE>Typing</CODE> module</DT>
<DD> <A HREF="type_3.html#IDX11">Typed Entities</A> </DD>
</DL>
<P>
<HR size=1 noshade width=600 align=left>
<P>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT=""><A HREF="type_8.html"><IMG SRC="gifs/prev.gif" ALT="Previous Chapter" BORDER="0"></A>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT=""><A HREF="type_toc.html"><IMG SRC="gifs/up.gif" ALT="Table of Contents" BORDER="0"></A>
<IMG SRC="gifs/empty.gif" WIDTH=25 HEIGHT=25 ALT="">
<HR size=1 noshade width=600 align=left>
</TD>
</TR>
</TABLE>

</BODY></HTML>
